Словарь по логике - символы собственные и несобственные

символы, получающиеся в результате разложения предложения или иного языкового выражения на простые, далее неразложимые части. С. с. имеют содержание даже в том случае, если взяты сами по себе. К ним относятся имена, обозначающие некоторые объекты, и переменные, отсылающие к какой-то области объектов. С. н. не имеют самостоятельного содержания, но в сочетании с одним или несколькими С. с. образуют сложные выражения, имеющие самостоятельное содержание. С. н. называются также синкатегорематическими.

К С. н. относятся, в частности:

скобки, в обычном языке знаки препинания, указывающие, как объединяются между собой различные части выражения;

логические связки, в частности те, которые используются для образования сложных высказываний из простых: "...и...", "...или...", "если..., то...", "...тогда и только тогда, когда...", "ни..., ни...", "не..., а...", "..., но не...", "неверно, что... и...", "неверно, что...";

операторы, подобные оператору описания ("тот объект, который ...") и кванторам ("все" и "некоторые").

Напр., само по себе слово "или" не обозначает никакого объекта. Но в совокупности с двумя (обозначающими) С. с. оно дает новый обозначающий символ: из двух имен "круглое" и "красное" с помощью "или" получается новое имя "круглое или красное", из двух высказываний "Письмо отправлено" и "Письмо сожжено" новое высказывание "Письмо отправлено или сожжено".

Центральная задача логики отделение правильных схем рассуждения от неправильных и систематизация первых. Логическая правильность определяется логической формой. Для ее выявления нужно отвлечься от содержательных частей рассуждения (С. с.) и сосредоточить внимание на С. н., представляющих эту форму в чистом виде. Отсюда интерес формальной логики к таким словам, как "и", "или", "если и только если" и т. п.